Safety Cases for Software Application Reuse
نویسندگان
چکیده
In traditional engineering industries it is common to reuse tried and trusted components as one of the means of ensuring safety. Some low-level software components, e.g. libraries, are reused, but there are difficulties in justifying the reuse of software due to the complexity of interactions in a typical software system. This paper addresses the issue of reusing software applications by considering how to extend the safety case for the use of software in one application based on its use in another. It proposes an approach to analysing the change between two contexts of use of a software system, including analysing small changes in the software, and illustrates this through some examples based on an analysis of a reactor protection system.
منابع مشابه
Towards Systematic Software Reuse in Certifiable Safety-Critical Systems
Safety-critical systems and subsystems are often developed as a new generation of a previous system, or as a variant of a system already developed and put into operation. However, in our experience, even in such cases, where large parts of the systems are actually reused, organizations implement very much the same heavy processes as for new development. This is partly because during a safety as...
متن کاملImproving Hazard Classification through the Reuse of Descriptive Arguments
Descriptive arguments are an intrinsic part of the process of determining the dependability of any system, particularly in the case of safety critical systems. For such systems, safety cases are constructed to demonstrate that a system meets dependability requirements. This process includes the application of hazard analysis techniques. However, such techniques are error-prone, time consuming a...
متن کاملThe Application of V&V Within Reuse-Based Software Engineering
Verification and Validation (V&V) is performed during application development for many systems, especially safety-critical ,'rod mission-critical systems. The V&V proce_ is intended to discover errors ,as early as possible during the development process. Early discovery is important in order to minimize the cost mad other impacts of correcting these errors. In reuse-b,_sed softw_e engineering, ...
متن کاملA Safety Kernel Architecture†
Software plays a crucial role in a large number of safety-critical systems. In spite of this, many safety-critical systems exhibit residual software errors even after extensive implementation and verification efforts. We describe a software architecture based on a safety kernel that facilitates the implementation and verification of safety-critical software. Drawing many concepts from the relat...
متن کاملUncertainty and Confidence in Safety Logic
Reasoning about system safety requires reasoning about confidence in safety claims. For example, DO-178B requires developers to determine the correctness of the worst-case execution time of the software. It is not possible to do this beyond any doubt. Therefore, developers and assessors must consider the limitations of execution time evidence and their effect on the confidence that can be place...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995